Proof net - PDFSEARCH.IO - Document Search Engine

Proof net
Results: 331

#	Item
291	Shore’s computational reverse mathematics Benedict Eastaugh University of Bristol Philosophy and Computation workshop Lunds universitet Add to Reading List Source URL: extralogical.net Language: English - Date: 2014-05-22 10:36:49 Proof theory Model theory Philosophy of mathematics Computability theory Reverse mathematics Second-order arithmetic First-order logic Impredicativity Axiom Logic Mathematics Mathematical logic
292	The complexity of computable entailment Benedict Eastaugh [removed] Department of Philosophy University of Bristol Add to Reading List Source URL: extralogical.net Language: English - Date: 2014-05-22 10:36:49 Computability theory Proof theory Epistemology Reverse mathematics Foundations of mathematics Second-order arithmetic Constructivism Entailment Solomon Feferman Logic Mathematics Mathematical logic
293	UNIVERSITY OF GRONINGEN Inductive Types in Constructive Languages Peter J. de Bruin Add to Reading List Source URL: www.peterdebruin.net Language: English - Date: 2010-01-10 15:07:06 Mathematical logic Programming idioms Type theory Recursion Theoretical computer science Intuitionistic type theory Initial algebra Mathematical proof Inductive reasoning Mathematics Computer programming Logic
294	European Anti-discrimination Law Review No[removed]Finland Case law Court decides age discrimination case, interpreting the burden of proof rule Add to Reading List Source URL: www.non-discrimination.net Language: English - Date: 2011-02-11 04:20:19 Law Job interview Discrimination Sexism McDonnell Douglas Corp. v. Green
295	ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF ´ MATTHEW H. BAKER AND JANOS A. CSIRIK Abstract. We give a new proof of the isomorphism between the dualizing Add to Reading List Source URL: www.csirik.net Language: English - Date: 2014-01-19 15:08:47 Sheaf theory Homological algebra Vector bundles Algebraic topology Sheaf Divisor Coherent duality Ideal sheaf Coherent sheaf Abstract algebra Topology Algebra
296	Character Tree poster proof - UNLOCKED Add to Reading List Source URL: newtown.reed.schooldesk.net Language: English - Date: 2013-05-07 11:04:59 Virtue Theology Dependability Quality Safety Safety engineering Forgiveness Promise Ethics Behavior Human behavior
297	Cover Letter Proof of Domain Name Ownership ! To: !(mt) Media Temple ! ! Add to Reading List Source URL: mediatemple.net Language: English - Date: 2014-06-23 17:42:26 Network architecture Whois Domain name Uniform Domain-Name Dispute-Resolution Policy Email DNS zone Domain hijacking RegisterFly Domain name system Internet Computing
298	ISSN[removed]Research Reports on Mathematical and Computing Sciences Add to Reading List Source URL: xagawa.net Language: English - Date: 2010-01-23 11:51:07 Statistics Learning with errors Normal distribution Multivariate random variable Proof of knowledge Commitment scheme Lattice problem Vector space Euclidean algorithm Algebra Mathematics Cryptography
299	ISSN[removed]Research Reports on Mathematical and Computing Sciences Add to Reading List Source URL: xagawa.net Language: English - Date: 2010-01-23 11:51:07 Electronic commerce Proof of knowledge Lattice problem RSA Zero-knowledge proof IP Paillier cryptosystem Goldwasser–Micali cryptosystem Cryptography Cryptographic protocols Public-key cryptography
300	Requirements for Membership You are eligible for membership if you are a bona fide business Owner/manager who can provide evidence of trading in the retail food or catering sector in the form of: 1. PROOF OF PERSONAL IDE Add to Reading List Source URL: www.wanis.net Language: English - Date: 2014-05-15 05:46:51 Numismatics Identity document Security Money Business Banking Cheque

UPDATE